Towards pointer algebra
نویسندگان
چکیده
منابع مشابه
Towards Automation for Pointer Algebra
First-order automated verification within algebraic structures has proven to be widely applicable. In this work we deal with automation for pointer algebra. We evaluate the adequacy of its original axioms for theorem proving tools. Moreover we give a different algebraic approach for projections which turns out to be more suitable for automation.
متن کاملSimplifying Pointer Kleene Algebra
Pointer Kleene algebra has proved to be a useful abstraction for reasoning about reachability properties and correctly deriving pointer algorithms. Unfortunately it comes with a complex set of operations and defining (in)equations which exacerbates its practicability with automated theorem proving systems but also its use by theory developers. Therefore we provide an easier access to this appro...
متن کاملTowards model-checking pointer systems
The aim of this work is to investigate the possibility of using a counter machines modelchecker, FAST [2] for instance, for programs working over singly-linked lists. We define a CTL logic which may express quantitative properties and shape properties on the memory managed by pointer systems. For this temporal logic, we show that the model-checking problem reduces to the one for counter systems...
متن کاملTowards a Versatile Pointer Analysis Framework
Current pointer analysis techniques fail to find parallelism in heap accesses. However, some of them are still capable of obtaining valuable information about the way dynamic memory is used in pointerbased programs. It would be desirable to have a unified framework with a broadened perspective that can take the best out of available techniques and compensate for their weaknesses. We present an ...
متن کاملTowards a Connector Algebra
Interoperability of heterogeneous networked systems has yet to reach the maturity required by ubiquitous computing due to the technology-dependent nature of solutions. The Connect Integrated Project attempts to develop a novel network infrastructure to allow heterogeneous networked systems to freely communicate with one another by synthesising the required connectors on-the-fly. A key objective...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 1993
ISSN: 0167-6423
DOI: 10.1016/0167-6423(93)90008-d